export function setTitle(t) {
  document.title=t
  document.getElementsByTagName('title')[0].innerHTML = t;
  window.setDocumentTitle = function(title) {
    var i = document.createElement('iframe');
    i.src = '../favicon.ico';
    i.style.display = 'none';
    i.onload = function() {
      setTimeout(function(){
        i.remove();
      }, 9)
    }
    document.body.appendChild(i);
  }
}


